In this paper a formal framework is proposed in which variousinformative actions are combined, corresponding to the different ways in whichrational agents can acquire information. In order to solve the variousconflicts that could possibly occur when acquiring information fromdifferent sources, we propose a classification of the informationthat an agent possesses according to credibility. Based on this classification, we formalize what itmeans for agents to have seen or heard something, or to believesomething by default. We present a formalization of observations,communication actions, (...) and the attempted jumps to conclusions thatconstitutes default reasoning. To implement these informative actionswe use a general belief revision action which satisfies theAGM postulates; dependent on the credibility of the incominginformation this revision action acts on one or more parts ofthe classified belief sets of the agents. The abilities of agents formalizeboth the limited capacities of agents to acquire information, and the preference of one kind of information acquisition to another. A very important feature of our approach is that it shows how to integratevarious aspects of agency, in particular the (informational) attitudesof dealing with information from observation, communication and defaultreasoning into one coherent framework, both model-theoretically andsyntactically. (shrink)

We demonstrate ways to incorporate nondeterminism in a system designed to formalize the reasoning of agents concerning their abilities and the results of the actions that they may perform. We distinguish between two kinds of nondeterministic choice operators: one that expresses an internal choice, in which the agent decides what action to take, and one that expresses an external choice, which cannot be influenced by the agent. The presence of abilities in our system is the reason why the usual approaches (...) towards nondeterminism cannot be used here. The semantics that we define for nondeterministic actions is based on the idea that composite actions are unravelled in the strings of atomic actions and tests that constitute them. The main notions used in defining this semantics are finite computation sequences and finite computation runs of actions. The results that we obtain meet our intuitions regarding events and abilities in the presence of nondeterminism. (shrink)

We demonstrate ways to incorporate nondeterminism in a system designed to formalize the reasoning of agents concerning their abilities and the results of the actions that they may perform. We distinguish between two kinds of nondeterministic choice operators: one that expresses an internal choice, in which the agent decides what action to take, and one that expresses an external choice, which cannot be influenced by the agent. The presence of abilities in our system is the reason why the usual approaches (...) towards nondeterminism cannot be used here. The semantics that we define for nondeterministic actions is based on the idea that composite actions are unravelled in the strings of atomic actions and tests that constitute them. The main notions used in defining this semantics are finite computation sequences and finite computation runs of actions. The results that we obtain meet our intuitions regarding events and abilities in the presence of nondeterminism. (shrink)

In this paper a formal framework is proposed in which variousinformative actions are combined, corresponding to the different ways in whichrational agents can acquire information. In order to solve the variousconflicts that could possibly occur when acquiring information fromdifferent sources, we propose a classification of the informationthat an agent possesses according to credibility. Based on this classification, we formalize what itmeans for agents to have seen or heard something, or to believesomething by default. We present a formalization of observations,communication actions, (...) and the attempted jumps to conclusions thatconstitutes default reasoning. To implement these informative actionswe use a general belief revision action which satisfies theAGM postulates; dependent on the credibility of the incominginformation this revision action acts on one or more parts ofthe classified belief sets of the agents. The abilities of agents formalizeboth the limited capacities of agents to acquire information, and the preference of one kind of information acquisition to another. A very important feature of our approach is that it shows how to integratevarious aspects of agency, in particular the (informational) attitudesof dealing with information from observation, communication and defaultreasoning into one coherent framework, both model-theoretically andsyntactically. (shrink)

Ethical issues of information and communication technologies (ICTs) are important because they can have significant effects on human liberty, happiness, and people’s ability to lead a good life. They are also of functional interest because they can determine whether technologies are used and whether their positive potential can unfold. For these reasons, policy makers are interested in finding out what these issues are and how they can be addressed. The best way of creating ICT policy that is sensitive to ethical (...) issues pertain to being proactive in addressing such issues at an early stage of the technology life cycle. The present paper uses this position as a starting point and discusses how knowledge of ethical aspects of emerging ICTs can be gained. It develops a methodology that goes beyond established futures methodologies to cater for the difficult nature of ethical issues. The authors outline how the description of emerging ICTs can be used for an ethical analysis. (shrink)

Ethical issues of information and communication technologies (ICTs) are important because they can have significant effects on human liberty, happiness, their ability to lead a good life. They are also of functional interest because they can determine whether technologies are used and whether their positive potential can unfold. For these reasons policy makers are interested in finding out what these issues are and how they can be addressed. The best way of creating ICT policy that is sensitive to ethical issues (...) would be to be proactive and address such issues at early stages of the technology life cycle. The present paper uses this position as a starting point and discusses how knowledge of ethical aspects of emerging ICTs can be gained. It develops a methodology that goes beyond established futures methodologies to cater for the difficult nature of ethical issues. The paper goes on to outline some of the preliminary findings of a European research project that has applied this method. (shrink)

BackgroundInaccurate, false or incomplete research publications may mislead readers including researchers and decision-makers. It is therefore important that such problems are identified and rectified promptly. This usually involves collaboration between the research institutions and academic journals involved, but these interactions can be problematic.MethodsThese recommendations were developed following discussions at World Conferences on Research Integrity in 2013 and 2017, and at a specially convened 3-day workshop in 2016 involving participants from 7 countries with expertise in publication ethics and research integrity. The (...) recommendations aim to address issues surrounding cooperation and liaison between institutions and journals about possible and actual problems with the integrity of reported research arising before and after publication.ResultsThe main recommendations are that research institutions should: develop mechanisms for assessing the integrity of reported research that are distinct from processes to determine whether individual researchers have committed misconduct;release relevant sections of reports of research integrity or misconduct investigations to all journals that have published research that was investigated;take responsibility for research performed under their auspices regardless of whether the researcher still works at that institution or how long ago the work was done;work with funders to ensure essential research data is retained for at least 10 years.Journals should: respond to institutions about research integrity cases in a timely manner;have criteria for determining whether, and what type of, information and evidence relating to the integrity of research reports should be passed on to institutions;pass on research integrity concerns to institutions, regardless of whether they intend to accept the work for publication;retain peer review records for at least 10 years to enable the investigation of peer review manipulation or other inappropriate behaviour by authors or reviewers.ConclusionsVarious difficulties can prevent effective cooperation between academic journals and research institutions about research integrity concerns and hinder the correction of the research record if problems are discovered. While the issues and their solutions may vary across different settings, we encourage research institutions, journals and funders to consider how they might improve future collaboration and cooperation on research integrity cases. (shrink)

In this article, the authors examine how the debate over women's executions during the nineteenth and early twentieth century funneled and in various ways processed the contrary demands of gender and capital justice. They show how encounters with capital punishment both reflected and reinforced dominant interpretations of womanhood and as such contributed to the intricate web of normative strictures that affected all women at the time. At the same time, however, the often heated debates that accompanied such cases pried open (...) some of the contradictions inherent in the dominant interpretations and, as a result, came to challenge the boundaries that separated not only women from men but also women from each other. Rather than viewing gender as a unidirectional influence on capital punishment, the authors argue that gender is best approached as an evolving social category that gets reconstructed, modified, and transformed whenever it is implicated in social practices and public debates. (shrink)

In this paper I respond to Bernd Krehoff’s article ‘Legitimate Political Authority and Sovereignty: Why States Cannot Be the Whole Story’. I criticize Krehoff’s use of Raz’s theory of authority to evaluate the legitimacy of our political institutions. Krehoff argues that states cannot (always) claim exclusive authority and therefore cannot possess exclusive legitimacy. Although I agree with his conclusion, I argue that the questions of legitimacy and (Razian) authority are distinct and that we need to focus more on the (...) former in order to really support and defend Krehoff’s conclusions. (shrink)

Bayes’ formula is a fundamental statistical method for inference judgments in uncertain situations used by both laymen and professionals. However, since people often fail in situations where Bayes’ formula can be applied, how to improve their performance in Bayesian situations is a crucial question. We based our research on a widely accepted beneficial strategy in Bayesian situations, representing the statistical information in the form of natural frequencies. In addition to this numerical format, we used five visualizations: a 2×2-table, a unit (...) square, an icon array, a tree diagram, and a double-tree diagram. In an experiment with 688 undergraduate students, we empirically investigated the effectiveness of three graphical properties of visualizations: area-proportionality, use of discrete and countable statistical entities, and graphical transparency of the nested-sets structure. We found no additional beneficial effect of area-proportionality. In contrast, the representation of discrete objects seems to be beneficial. Furthermore, our results show a strong facilitating effect of making the nested-sets structure of a Bayesian situation graphically transparent. Our results contribute to answering the questions of how and why a visualization could facilitate judgment and decision making in situations of uncertainty. (shrink)

Introduction : Dialogue et diatribe, influences réciproques -- Réflexion théorique et construction d'outils d'analyse antique et moderne -- La prétendue "diatribe" antique : fantôme ou instrument herméneutique ? -- Diatribè, quelques jalons dans l'histoire d'un mot controversé -- Le style diatribe dans les Diatribai d'Épictète/Arrien -- "Que bel harnais ne fait pas bon cheval" : un topos de la philosophie morale et "populaire" entre dialogue, diatribe et protreptique -- Manipulations horatiennes de la diatribe cynico-stoïcienne dans les Satires : reprises et (...) mises à distance -- Du dialogue lucianesque à la diatribe philosophique : le Charon de Giovanni Pontano -- Diatribe et dialogisme : La voix de l'autre, quelle place et quelle voix accorder à l'interlocuteur ? -- Interrogatoire judiciaire et interrogation dialectique en partant d'Aristote, Rhétorique III 18 -- "Le partage des voix" dans les Entretiens d'Épictète -- La fonction de l'adresse dans le De Ira de Sénèque -- Le dialogue en échec chez Dion de Pruse -- Diatribe et Sermon, une fausse question ? -- Étude des dialogues fictifs dans quelques sermons d'Augustin. (shrink)

This book on the Tripurārahasya, a South Indian Sanskrit work which occupies a unique place in the Śākta literature, is a study of the Śrīvidyā and Śākta traditions in the context of South Indian intellectual history in the late middle ages. Associated with the religious tradition known as Śrīvidyā and devoted to the cult of the Goddess Tripurā, the text was probably composed between the 13th and the 16th century CE. The analysis of its narrative parts addresses questions about the (...) relationships between Tantric and Purāṇic goddesses. The discussion of its philosophical and theological teachings tackles problems related to the relationships between Sākta and Śaiva traditions. The stylistic devices adopted by the author(s) of the work deal uniquely with doctrinal and ritual elements of the Śrīvidyā through the medium of a literary and poetic language. This stylistic peculiarity distinguishes the Tripurārahasya from many other Tantric texts, characterized by a more technical language. The book is intended for researchers in the field of Asian Studies, Indology, Philosophical, Theological or Religious Studies, Hindu Studies, Tantric Studies and South Asian Religion and Philosophy, in particular those interested in Śākta and Śaiva philosophic-religious traditions. (shrink)

In this paper some parts of the model theory for logics based on generalised Kripke semantics are developed. Löwenheim-Skolem theorems and some applications of ultraproduct constructions for generalised Kripke models with variable universe are investigated using similar theorems of the model theory for classical logic. The results are generalizations of the theorems of [4].

It is demonstrated how Kripke models for intuitionistic predicate logic can be applied in order to prove classical theorems. As examples proofs of the independence of the axiom of constructibility, of the omitting types theorem and of Shelah's ultrapower theorem are sketched.

A game for testing the equivalence of Kripke models with respect to finitary and infinitary intuitionistic predicate logic is introduced and applied to discuss a concept of categoricity for intuitionistic theories.

A philosophy of information is grounded in a philosophy of documentation. Nunberg’s conception of the phenomenon of information heralds a shift of attention away from the question “What is information?” toward a critical investigation of the sources and legitimation of the question itself. Analogies between Wittgenstein’s deconstruction of philosophical accounts of meaning and a corresponding deconstruction of philosophical accounts of information suggest that because the informativeness of a document depends on certain kinds of practices with it, and because information emerges (...) as an effect of such practices, documentary practices are ontologically primary to information. The informativeness of documents therefore refers us to the properties of documentary practices. These fall into four broad categories: their materiality; their institutional sites; the ways in which they are socially disciplined; and their historical contingency. Two examples from early modern science, which contrast the scholastic documentary practices of continental natural philosophers to those of their peers in Restoration England, illustrate the richness of the factors that must be taken into account to understand how documents become informing. (shrink)

Für Kant spielt die Religion im Hinblick auf die moralische Lebensführung weder in geltungstheoretischer noch in motivationstheoretischer Hinsicht eine wesentliche Rolle. Deshalb ist er auch vom tendenziellen Ende der historischen Religionen überzeugt. Mit schonungsloser Kritik wendet sich Kant gegen den dogmatischen Bestand der Offenbarungsreligionen und gegen religiöse Praktiken, die er als „Afterdienst“ bzw. als „Wahnglauben“ brandmarkt. Aber schon die Zeitgenossen haben mit einiger Irritation zur Kenntnis genommen, dass Kant auf der anderen Seite den historischen Religionen für die Gegenwart noch die (...) nützliche Funktion eines ‚Vehikels‘ für die Etablierung eines moralischen „Religionsglaubens“ zuspricht. Bernd Dörflinger hat sich in seinen richtungsweisenden Studien die Aufgabe gestellt, im Rahmen sorgfältiger Analysen die Komplexität von Kants religionsphilosophischen Überlegungen herauszuarbeiten, zugleich aber zu zeigen, was diese im Kontext einer veränderten historischen Situation bedeuten, ohne theologischen Versuchen der Vereinnahmung anheim zu fallen. (shrink)

Naturalistic Descriptions and Normative-Intentional Interpretations Normative pragmatists about linguistic meaning such as Sellars and Brandom have to explain how norms can be implicit in practices described in purely naturalistic terms. The explanation of implicit norms usually offered in the literature commits pragmatists to equate actions with naturalistic events. Since this is an unacceptable consequence, I propose an alternative explanation of implicit norms that avoids this identification. To do so, one has to treat the normative-intentional concepts such as "norm", "action", "sanction", (...) "belief", "desire" as a holistic system, in the sense that one has to apply all of them to a given naturalistic practice simultaneously. This result might be taken to imply that the pragmatist strategy of explaining the content of assertions and beliefs in terms of norm-governed use is misguided because it presupposes that one can account for the concept "norm" independently of the concept "belief". I argue that this consequence does not follow. (shrink)

Taking account of Kant's unpublished mss., the author presents a close textual interpretation of Kant's logic of concepts.

The two main challenges of the theory of conceptual content presented by Robert Brandom in Making It Explicit are to account for a referential dimension of conceptual content and to account for the objectivity of conceptual norms. Brandom tries to meet both these challenges in chapter 8 of his book. I argue that the accounts presented there can only be understood if seen against the background of Brandom's theory of communication developed in chapter 7. This theory is motivated by the (...) well-known problem that semantic holism threatens the possibility of communication because it has the consequence that words mean different things in different mouths. Brandom offers a solution to this problem in terms of what he calls recurrence commitments. I show that chapter 8 of Making It Explicit should be understood as arguing that a practice that includes acknowledging interpersonal recurrence commitments institutes both conceptual contents with a referential dimension and objective conceptual norms. I close by raising the objection that Brandom's argument can only show that conceptual norms are communally shared and not that they are objective. I propose an emendation of this argument, having recourse to a practice Brandom refers to as rational rectification in his new book Between Saying and Doing. (shrink)

This article discusses the 2019 Event Horizon Telescope image of a black hole as an ontological question for photography, contrasting its spatially distributed operations as a planetary apparatus against its temporal inscriptions of successive histories of scientific realisms following Lorraine Daston and Peter Galison. The 'becoming photographic' of this image, this text argues, hinges on the distance it traverses from its scientific milieu to its vernacular reception, making visible the cultural calibrations that produce a consensually legible image.

The contributors to _Constructing the Pluriverse_ critique the hegemony of the postcolonial Western tradition and its claims to universality by offering a set of “pluriversal” approaches to understanding the coexisting epistemologies and practices of the different worlds and problems we inhabit and encounter. Moving beyond critiques of colonialism, the contributors rethink the relationship between knowledge and power, offering new perspectives on development, democracy, and ideology while providing diverse methodologies for non-Western thought and practice that range from feminist approaches to scientific (...) research to ways of knowing expressed through West African oral traditions. In combination, these wide-ranging approaches and understandings form a new analytical toolbox for those seeking creative solutions for dismantling Westernization throughout the world. Contributors Zaid Ahmad, Manuela Boatcă, Hans-Jürgen Burchardt, Arturo Escobar, Sandra Harding, Ehsan Kashfi, Venu Mehta, Walter D. Mignolo, Ulrich Oslender, Isiaka Ouattara, Manu Samnotra, Aram Ziai. (shrink)

This series of images forms part of the ongoing project Soft Ground, Hard Light, which speculates on a multiscalar spatial ontology of photography emanating from the Arditurri silver mine complex in the Basque Country. Evoking the mountainous massif around Arditurri where silver ore and galena have been extracted since Roman presence in the area, the depicted topographies are, in fact, data transcriptions from atomic force microscopy (AFM) probing the analogue film stock of an early 1930s experiment in 3D cinema, Cine (...) en Relieve, by the Basque cinematographer Teófilo Mingueza. In contrast to optical or electron microscopy, AFM uses a scanning probe to physically touch the specimen, recording its surface undulations at the atomic scale of a nanometre, or a billionth of a metre. As a haptic operation based on direct contact between instrument and sample, between apparatus and referent, AFM is literally a contact print, a ‘blind’ scan that senses not the visual content of the recorded image but ‘feels’ its underlying material substrate of silver nanoparticles within the 35 mm film emulsion. The resulting image assemblies visualize a topography resulting from the intra-action between the silver nanoparticles and the scanning probe as much as its transcription through the particular parameters afforded by the AFM analysis software. Hard Light, Soft Ground was initiated during an artist’s residency at Tabakalera Centre for Contemporary Culture, Donostia-San Sebastián, and is currently in production as part of the wider research project Esper Syndrome: Archaeotopologies of the Image at the Royal College of Art, funded by the AHRC through the London Arts & Humanities Partnership. With additional thanks to the Basque Film Archive and Gustavo Ariel Schwartz at the Materials Physics Centre, Donostia-San Sebastián. (shrink)

In this introduction we discuss the motivation behind the workshop “Towards a New Epistemology of Mathematics” of which this special issue constitutes the proceedings. We elaborate on historical and empirical aspects of the desired new epistemology, connect it to the public image of mathematics, and give a summary and an introduction to the contributions to this issue.

The ethics of artificial intelligence is a widely discussed topic. There are numerous initiatives that aim to develop the principles and guidance to ensure that the development, deployment and use of AI are ethically acceptable. What is generally unclear is how organisations that make use of AI understand and address these ethical issues in practice. While there is an abundance of conceptual work on AI ethics, empirical insights are rare and often anecdotal. This paper fills the gap in our current (...) understanding of how organisations deal with AI ethics by presenting empirical findings collected using a set of ten case studies and providing an account of the cross-case analysis. The paper reviews the discussion of ethical issues of AI as well as mitigation strategies that have been proposed in the literature. Using this background, the cross-case analysis categorises the organisational responses that were observed in practice. The discussion shows that organisations are highly aware of the AI ethics debate and keen to engage with ethical issues proactively. However, they make use of only a relatively small subsection of the mitigation strategies proposed in the literature. These insights are of importance to organisations deploying or using AI, to the academic AI ethics debate, but maybe most valuable to policymakers involved in the current debate about suitable policy developments to address the ethical issues raised by AI. (shrink)

What is empiricism and what could it be? Bas . van Fraassen, one of the world’s foremost contributors to philosophical logic and the philosophy of science, here undertakes a fresh consideration of these questions and offers a program for renewal of the empiricist tradition. The empiricist tradition is not and could not be defined by common doctrines, but embodies a certain stance in philosophy, van Fraassen says. This stance is displayed first of all in a searing, recurrent critique of metaphysics, (...) and secondly in a focus on experience that requires a voluntarist view of belief and opinion. Van Fraassen focuses on the philosophical problems of scientific and conceptual revolutions and on the not unrelated ruptures between religious and secular ways of seeing or conceiving of ourselves. He explores what it is to be or not be secular and points the way toward a new relationship between secularism and science within philosophy. (shrink)

People often struggle with Bayesian reasoning. However, research showed that people’s performance (and rationality) can be supported by the way of representing the statistical information. First, research showed that using natural frequencies instead of probabilities as format of statistical information increases people’s performance in Bayesian situations thoroughly. Second, research also yielded that people’s performance increases through using visualization. We build our paper on existing research in this field. The main aim is to analyse people’s strategies in Bayesian situations that are (...) still erroneous although statistical information is represented by natural frequencies and visualizations. In particular, we compare two pairs of visualization with similar numerical information (tree diagram vs. unit square and double-tree diagram vs. 2x2-table) concerning their impact on people’s erroneous strategies in Bayesian situations. For this aim, we conducted an experiment with 540 university students. The students were randomly assigned to four conditions that are defined by the four different visualizations of statistical information. The students were asked to indicate a fraction as response in four Bayesian situations. We documented the numerator and the denominator of the students’ responses representing a basic set and a subset in a Bayesian situation. Our results show that people’s erroneous strategies are highly dependent on the visualization. A central finding is that the visualization’s characteristic of making the nested-sets structure of a Bayesian situation transparent has a facilitating effect on people’s Bayesian reasoning. For example, compared to the unit square, a tree diagram does not explicitly visualize the set-subset relations that are relevant in a Bayesian situation. Accordingly, compared to a unit square, a tree diagram partly hinders people to find the correct denominator in a Bayesian situation, and, in particular, triggers to select a wrong numerator. By analyzing people’s erroneous strategies in Bayesian situations, we contribute to investigating approaches to facilitate Bayesian reasoning and to further develop the teaching of Bayesian reasoning. (shrink)